2041. میراث حوزه اصفها‌ن
پدیدآورنده : گردآورنده سجا‌دی، احمد، ۱۳۴۴ -
کتابخانه: Specialized Library of Jurisprudence and Principles of Jurisprudential Center of Aemeh Athar (Qom)
موضوع : مجموعه ها اسلام,مسا‌ئل متفرقه اسلام,مجموعه ها فقه جعفری,مجموعه ها فلسفه اسلامی,مجموعه ها کلام شیعه,مجموعه ها منطق
رده :
BP
۴
/
۴
/
س
۳
م
۹ ۱۳۸۳
2042. ناتمامیت در یک چهارچوب کلی
پدیدآورنده : /مینا محمدیان
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع :
2043. نظريات المنطق الرياضي
پدیدآورنده : / ماهر عبدالقادر محمد علي,علي,Ali
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : منطق رياضي
رده :
۵۱۱
/
۳
ع
۸۳۴
ن
2044. نظریه القیاس الارسطیه : من وجهه نظر المنطق الصوری الحدیث
پدیدآورنده : / تالیف یان لوکاشیفتش
کتابخانه: Library of Islamic Encyclopedia Foundation (Tehran)
موضوع : قیاس,منطق ریاضی,ارسطو،؟۳۲۲ - ۳۸۴ ق.م- Aristatle منطق .- نقد و تفسیر
رده :
BC
۱۸۵ ،
/
ل
۹
ن
۶
2045. نظريه القياس الارسطيه من وجهه نظر المنطق الصوري الحديث
پدیدآورنده : لوكاشيفتش، يان
کتابخانه: Hosseiniyeh Ershad Public Library (Tehran)
موضوع : منطق رياضي
رده :
511
/3
ل
761
ن
2046. نظریه القیاس الارسطیه من وجهه نظر المنطق الصوری الحدیث
پدیدآورنده : تالیف یان لوکاشیفتش
موضوع : ارسطو، ۳۸۴-۳۲۲؟ق.م.- منطق,قیاس,منطق ریاضی
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
2047. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: Central Library of Astan Quds Razavi-Boy's youth Hall (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2048. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: Central Library of Astan Quds Razavi- Hall Open Shelf For Men (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2049. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: كتابخانه مركزي آستان قدس رضوي (ع) - گردش و امانت آقايان (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2050. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: Central library of astan quds razavi (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2051. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: (Library Ayatolla haj shikh mojtaba ghazvini (Astan Qods Razavi (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2052. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: (Mosque Al-Reza Library (Astan Qods Razavi (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2053. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: (library of Imam Reza (Astan Quds Razavi (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2054. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: (The mosque library Emam sadegh (Astan Qods Razavi (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2055. نظريه زبان‌ها و ماشين‌ها
پدیدآورنده : / مؤلف مهدي آصفي,آصفي
کتابخانه: (Ayatollah Shahid Moddares Library (Astan Qods Razavi (Khorasan Razavi)
موضوع : منطق رياضي,نظريه ماشين
رده :
۵۱۱
/
۳
آ
۵۹۲
ن
2056. نظریه صدق تا‌رسکی
پدیدآورنده : احمدی افرمجا‌نی، علی‌اکبر، ۱۳۴۱ -
کتابخانه: كتابخانه مجمع عالی حكمت اسلامی (Qom)
موضوع : منطق ریاضی,نظریه صدق -- نقد و تفسیر تا‌رسکی، آلفرد، ۱۹۰۲-۱۹۸۳م
رده :
BC
۱۳۵
/
الف
۳
ن
۶
2057. نظریه صدق تا‌رسکی
پدیدآورنده : احمدی افرمجا‌نی، علی‌اکبر ۱۳۴۱ -
کتابخانه: (Tehran)
موضوع : منطق ریاضی igoLC, cilobmyS dna lacitamehtam
رده :
BC
۱۳۵
/
الف
۳
ن
۶ ۱۳۹۷
2058. نظریه صدق تا‌رسکی
پدیدآورنده : احمدی افرمجا‌نی، علی‌اکبر، ۱۳۴۱ -
کتابخانه: (Qom)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
الف
۳
/
ن
۶
2059. نظريه صدق تارسکي
پدیدآورنده : / علي‌اکبر احمدي افرمجاني,احمدي افرمجاني
کتابخانه: (Moravej Library (Astan Qods Razavi (Yazd)
موضوع : منطق,منطق رياضي
رده :
۱۶۰
الف
۲۸۴
ن
2060. نظریه صدق تا‌رسکی
پدیدآورنده : علی اکبر احمدی افرمجا‌نی
کتابخانه: Sheikh Bahai Library (Khorasan Razavi)
موضوع : منطق ریاضی
رده :
BC
۱۳۵
/
الف
۳،
ن
۶
